0.0.0-experiment-2025.7.7.13

kone.automata/dev.lounres.kone.automata/SynchronousAutomaton

SynchronousAutomaton

class SynchronousAutomaton<State, Transition, NoNextStateReason>(initialState: State, checkTransition: SynchronousAutomaton<State, Transition, NoNextStateReason>.(State, Transition) -> CheckResult<State, NoNextStateReason>, onTransition: SynchronousAutomaton<State, Transition, NoNextStateReason>.(previousState: State, transition: Transition, nextState: State) -> Unit = { _, _, _ -> })(source)

Constructors

SynchronousAutomaton

constructor(initialState: State, checkTransition: SynchronousAutomaton<State, Transition, NoNextStateReason>.(State, Transition) -> CheckResult<State, NoNextStateReason>, onTransition: SynchronousAutomaton<State, Transition, NoNextStateReason>.(previousState: State, transition: Transition, nextState: State) -> Unit = { _, _, _ -> })

Properties

val state: State

Functions

fun <State, Transition, NoNextStateReason> SynchronousAutomaton<State, Transition, NoNextStateReason>.move(transition: Transition): MovementResult<State, Transition, NoNextStateReason>

inline fun <State, Transition, NoNextStateReason> SynchronousAutomaton<State, Transition, NoNextStateReason>.move(transition: (State) -> Transition): MovementResult<State, Transition, NoNextStateReason>

inline fun <State, Transition, NoNextStateReason, Computation> SynchronousAutomaton<State, Transition, NoNextStateReason>.moveAndCompute(transition: (State) -> TransitionAndComputation<Transition, Computation>): MovementAndComputationResult<State, Transition, NoNextStateReason, Computation>

moveMaybeAndCompute